Strategies of Structural Synthesis of Programs
نویسندگان
چکیده
Strategies of the structural synthesis of programs (SSP) of a deductive program synthesis method which is suited for compositional programming in large and is in practical use in a number of programming environments are outlined. SSP is based on a decidable logical calculus where complexity of the proof search is still PSPACE. This requires paying special attention to efficiency of search. Besides the general case of SSP, we present synthesis with independent subtasks, synthesis of iterations on regular data structures in terms of SSP and a number of heuristics used for speeding up the search.
منابع مشابه
Strategies of Structural Synthesis of Programs and its Extensions
Proof search for the structural synthesis of programs (SSP) — a deductive program synthesis method which is suited for compositional programming in large and is in practical use in a number of programming environments is explained. SSP is based on a decidable logical calculus where complexity of the proof search is still PSPACE. This requires paying special attention to the efficiency of search...
متن کاملStructural model of academic adjustment based on learning strategies and learning styles with the mediating role of cognitive emotion regulation strategies in university students
The purpose of the current research was to determine the mediating role of cognitive emotion regulation strategies in the relationship between learning styles and students' academic adjustment. The current research is descriptive-correlational in terms of methodology. The statistical population was all the students of Shahid Bahoner University in Kerman in the academic year of 2021-2022 (12614)...
متن کاملMeta Synthesis and Fuzzy Interpretive Structural Modeling of Talent Supply Chain Management in National Iranian Oil Company
The purpose of this paper was to present the talent supply chain management model of the National Iranian Oil Company. In term of aim, this research is considered an applied and developmental research based on mixed method. The statistic population in qualitative step consisted articles in domstic and foreign scientific information bases related to talent management and in Quantitative step the...
متن کاملMediating Role of Coping Strategies in the Relationship between Family Communication Pattern and Addiction Potential
Objective: The aim of this study was to investigate the mediating role of coping strategies in the relationship between family communication pattern and addiction potential in the youth. Method: The present study was descriptive-correlational of structural equation modeling type. The statistical population of the present study included members of the Youth Organization of the Iranian Red Cresce...
متن کاملStructural Synthesis of Programs Using Regular Data Structures
This paper discusses a speciic feature of structural synthesis of programs. Using regular data structures enables to optimize the method of structural synthesis of programs for several particular cases. The method for program construction described here is implemented in the NUT programming system.
متن کامل